@String{ieee = {{IEEE}}}
@string{jan = "January"}
@string{feb = "February"}
@string{mar = "March"}
@string{apr = "April"}
@string{may = "May"}
@string{jun = "June"}
@string{jul
="July"}
@string{aug = "August"}
@string{sep = "September"}
@string{oct =
"October"}
@string{nov = "November"}
@string{dec = "December"}



@manual{Ada05,
  key="Ada05",
  organization = "ISO SC22/WG9",
  title="{A}da Reference Manual. Language and Standard Libraries. 
         Consolidated Standard {ISO/IEC 8652:1995(E)} with Technical Corrigendum 1
          and Amendment 1 (Draft 15)",
  year=2005,
  note="Available on \url{http://www.adaic.com/standards/rm-amend/html/RM-TTL.html}"
}

@manual{HIS05,
  organization = "ISO/IEC",
  title = " TR~24718:2005 --- Guide for the use of the {A}da
                  {R}avenscar {P}rofile in high integrity systems",
  year = 2005,
  note = "Based on the University of York Technical Report YCS-2003-348
                  (2003)."
  }

@techreport{enst06ocarina,
  Author = {T. Vergnaud and B. Zalila and J. Hugues},
  Institution = {T{\'e}l{\'e}com Paris},
  url = {http://ocarina.enst.fr},
  Title = {{Ocarina: a Compiler for the AADL}},
  Year = {2006}
}

